Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
771	From Unstructured Text to Valuable Insights: Leveraging Text Analytics to Meet Competitive Intelligence Needs By Tom H. C. Anderson, Anderson Analytics Add to Reading List Source URL: www.andersonanalytics.com Language: English - Date: 2008-02-06 15:16:09 Business intelligence Knowledge Natural language processing Statistical natural language processing Formal sciences Text mining Analytics Text analytics Data mining Science Statistics Data analysis
772	Bitumen extraction involves the complex interaction of mineralogical and chemical components. Add to Reading List Source URL: www.patterndiscovery.com Language: English - Date: 2012-04-13 09:03:34 Business intelligence Information Data warehousing Data analysis Extract transform load Data mining Data model Metadata Analytics Formal sciences Science Data management
773	Discover Patterns That Matter TM Big Data Challenges Add to Reading List Source URL: www.patterndiscovery.com Language: English - Date: 2013-07-16 15:52:18 Technology Science Data analysis Analytics Mathematical finance Predictive analytics Data mining Big data Business analytics Formal sciences Business intelligence Data management
774	A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA [removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:05 Computing Software engineering Computability theory Formal methods Computer programming Symbol Pointer Models of computation
775	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:59 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
776	An Oracle White Paper February 2012 Oracle Data Mining 11g Release 2 Competing on In-Database Analytics Add to Reading List Source URL: www.oracle.com Language: English Business Data analysis Formal sciences Oracle Data Mining Cross-platform software Oracle Database Oracle Corporation Data mining Business analytics Software Data management Business intelligence
777	Big Data and the Data Quality Imperative Successful organizations recognize the value in harvesting, storing and exploiting Big Data, but they also realize that Big Data requires the same data management principles Add to Reading List Source URL: www.trilliumsoftware.com Language: English - Date: 2015-02-13 15:15:19 Formal sciences Information technology management Data analysis Data quality Analytics Data governance Data warehouse Big data Master data management Data management Information Business intelligence
778	CGMA REPORT ® From insight to impact Unlocking opportunities Add to Reading List Source URL: www.cgma.org Language: English - Date: 2014-05-28 09:34:47 Formal sciences Information technology management Data analysis Information technology governance Analytics Data mining Data visualization Big data Data quality Business intelligence Data management Science
779	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
780	GRAPH FINAL - 3 colour round no shadow - 2LINES.xlsx Add to Reading List Source URL: www.patterndiscovery.com Language: English - Date: 2012-04-12 11:08:58 Data analysis Business Data management Application software Automation OSIsoft Data mining Pi Analytics Business intelligence Statistics Formal sciences

UPDATE